For Science - PDFSEARCH.IO - Document Search Engine

For Science
Results: 202039

#	Item
31	Program Synthesis for Forth Forth Day 2012 Computer Science UC Berkeley Add to Reading List Source URL: www.forth.org Language: English - Date: 2012-11-30 12:06:23 Data types Software engineering Mathematics Computing Const Transpose Matrix Programming language syntax ELLA
32	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle
33	Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-05 18:17:09 Mathematical analysis Mathematical optimization Operations research Stochastic game Nash equilibrium Markov chain Determinacy Stochastic process Mathematics Analysis Multi-objective optimization
34	Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2017-07-19 14:45:03 Linguistics Computational linguistics Statistical natural language processing Natural language processing Corpus linguistics Applied linguistics Speech recognition Topic model Latent Dirichlet allocation N-gram Stemming Text corpus
35	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
36	Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
37	Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:47 Computing Application software Computer science Machine learning Conditional random field Symposium on Principles of Programming Languages Programming Language Design and Implementation R Structured prediction
38	GloVe: Global Vectors for Word Representation Jeffrey Pennington, Richard Socher, Christopher D. Manning Computer Science Department, Stanford University, Stanford, CA 94305 , , mann Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2018-04-09 22:53:03 Algebra Mathematics Computational linguistics Linear algebra Natural language processing Artificial neural networks Machine learning Word2vec Word embedding Latent semantic analysis Vector space model GloVe
39	Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-04-15 12:27:37 Mathematics Group theory Graph theory Markov chain Kazhdan's property Stochastic game Markov decision process Distribution -quadratic form
40	Computational Social Science for the World Wide Web (CSSW3) Ingmar Weber Claudia Wagner Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:22:29 Computing Computational science GESIS Leibniz Institute for the Social Sciences Leibniz Association Knowledge Electromagnetism Social computing Computer science Computational social science Social science Big data Science